Integrating Formal V&V and Structured Design Reviews
نویسندگان
چکیده
In the new Internet economy time-to-market has replaced quality as a primary concern in most software development organizations. Fortunately, that is not yet the case in organizations concerned with the development of critical systems. Most of these organizations consider design review as an efficient approach to improve the quality of their software products. In this paper, we discuss a set of correctness arguments that may be used in conjunction with formal validation and verification (V&V) in order to improve the quality of critical systems in a cost-effective
منابع مشابه
Issues in Designing Rule-based Systems for Integrated Evaluation
The design of rule bases is plagued by various anomalies due to lack of structured development, and lack of a formal reference for the acquired knowledge. Often, the lack of a clear link connecting the functional requirements, the design, and the implementation levels of a rule-based system makes it difficult to analyze the rule base in terms of how well it represents the acquired knowledge. Th...
متن کاملStochastic Process
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras...
متن کاملFormalizing and Integrating SA/SD with a Program Design Calculus
The notations and parts of a process for Structured Analysis and Structured Design [2, 15] are formalized within a program design calculus [5]. The formalizations are used in an application of a metamethod for formal method integration, combining SA/SD and the program design calculus of [5]. The methods are integrated so as to provide more rigor to the informal method, and to make the program d...
متن کاملEconomic Design of T2 −V SSC Chart Using Genetic Algorithms
The principal function of a control chart is to help management distinguish different sources of variation in a process. Control charts are widely used as a graphical tool to monitor a process in order to improve the quality of the product. Chen and Hsieh (2007) have designed a T2 control chart using a Variable Sampling Size and Control limits (V SSC) scheme. They have shown that using the V SSC...
متن کاملDesign and synthesizing appropriate carrier for release of dexamethasone as an anticancer drug
Introduction: One of the effective drugs in the treatment of cancer is dexamethasone. Dexamethasone is known as one of the safest glucocorticoid, but there is still side-effects, due to its hydrophobicity and low bioavailability. The purpose of the present study is to design a controlled release carrier for dexamethasone in order to overcome constraints and reduce side effects. Materials and Me...
متن کامل